Project-Team:TAMIS

Project-Team Tamis

Team, Visitors, External Collaborators

Overall Objectives

Context
Approach and motivation

Research Program

Axis 1: Vulnerability analysis
Axis 2: Malware analysis
Axis 3: Building a secure network stack

Application Domains

System analysis
Cybersecurity

Highlights of the Year

New Software and Platforms

GNUnet
PLASMA Lab
Taler
SimFI
DaD
MASSE
BMA
PEPAC
Arml
IoTMLT

New Results

Results for Axis 1: Vulnerability analysis
Results for Axis 2: Malware analysis
Other research results

Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry
Bilateral Grants with Industry

Partnerships and Cooperations

National Initiatives
European Initiatives

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries

Bibliography

Publications of the year
References in notes

Inria | Raweb 2018 | Presentation of the Project-Team TAMIS | TAMIS Web Site


	PDF	e-Pub

Previous |

Home | Next next

Section: Application Domains

System analysis

The work performed in Axes 1 and 2 and the methods developed there are applicable to the domain of system analysis, both wrt. program analysis and hardware analysis.

Previous |

Home | Next next